The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Daniele Mundici Books

Results for Daniele Mundici

Showing 1 to 4 of 4 results
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library) Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library) by Maria Luisa Dalla Chiara,Kees Doets,Daniele Mundici

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library)

by Maria Luisa Dalla Chiara,Kees Doets,Daniele Mundici


ISBN 13: 9780792343844

Format: Illustrated (516 pages)
Publisher: Springer
Published: 31 Dec 1996

Save for later

 
New : $365.03  
New : $365.03
Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science) Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science) by Daniele Mundici,Alexander Leitsch,Georg Gottlob

Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob


ISBN 13: 9783540571841

Format: Paperback (372 pages)
Publisher: Springer
Published: 13 Aug 1993

Save for later

 
New : $65.56  
New : $65.56
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science) Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science) by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science)

by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato


ISBN 13: 9783540612087

Format: Paperback (348 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $76.15  
New : $76.15
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science) Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science) by Daniele Mundici,Alexander Leitsch,Georg Gottlob

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

by Daniele Mundici,Alexander Leitsch,Georg Gottlob


ISBN 13: 9783540633853

Format: Paperback (364 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $86.72  
New : $86.72